delta-epsilon proofs